p = q
== 1of(p)=1of(q)
==  if 1of(p)=1  1of(p)=2  1of(p)=6  1of(p)=9 2of(p) = 2of(q)
==  i; 1of(p)=3 1of(2of(p)) = 1of(2of(q))  2of(2of(p)) = 2of(2of(q))
==  i; 1of(p)=4 1of(2of(p)) = 1of(2of(q))  2of(2of(p)) = 2of(2of(q))
==  i; 1of(p)=5 1of(2of(p)) = 1of(2of(q))  2of(2of(p)) = 2of(2of(q))
==  i; 1of(p)=7  1of(p)=8 2of(p) = 2of(q)
==  else true fi 

latex

Definitions	a = b, p  q, a = b, if b t else f fi, p  q, i=j, 1of(t), #$n, a = b, 2of(t), true
FDL editor aliases	eq_bd